Lisp machine - PDFSEARCH.IO - Document Search Engine

Lisp machine
Results: 69

#	Item
11	The reflective Milawa theorem prover is sound (down to the machine code that runs it) Magnus O. Myreen1 and Jared Davis2 1 Computer Laboratory, University of Cambridge, UK Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-05-14 09:11:06 Lisp programming language Functional languages Model theory ACL2 Automated theorem proving Nqthm First-order logic Common Lisp Lisp Computing Software engineering Computer programming
12	exterminate all rational thought… hit reload to do it again… Add to Reading List Source URL: klaus-johansen.dk Language: English - Date: 2007-10-22 21:53:45 Lisp programming language Jamie Zawinski Netscape LiveJournal Lisp machine Lisp 9 Eckankar Software Computing Emacs
13	Distributed Computation for Computer Animation John W. Peterson Computer Science Deptartment University of Utah Abstract Add to Reading List Source URL: www.saccade.com Language: English - Date: 2003-04-12 22:26:03 Parallel computing Computer workstations Workstation Computer cluster Lisp machine Operating system X Window System Computer worm Computing Software Classes of computers
14	Point of View Lisp as an Alternative to Java I n a recent study Prechelt[removed]compared Add to Reading List Source URL: www.flownet.com Language: English - Date: 2008-08-13 23:40:51 Lisp programming language Functional languages Lisp Object-oriented programming Arc Emacs Lisp Lisp machine Software engineering Computer programming Computing
15	~. INSIDE INTERLISP: Two IMPLEMENTATIONS L. Peter Deutsch Xerox Palo Alto Research Center Add to Reading List Source URL: www.softwarepreservation.org Language: English - Date: 2010-11-06 22:46:49 Lisp programming language Functional languages Data types Common Lisp Interlisp Lisp machine Lisp Common Lisp Object System DWIM Computing Software engineering Computer programming
16	A LISP Machine with Very Compact Programs Add to Reading List Source URL: www.softwarepreservation.org Language: English - Date: 2010-03-13 20:10:51 Classical cipher International Obfuscated C Code Contest Computer programming Linguistics Computing
17	COGNITIVE AND INSTRUCTIONAL SCIENCES SERIES CIS.5 (SSL[removed]Revised Papers on interlisp-D CONTRIBUTlONS BY Add to Reading List Source URL: www.softwarepreservation.org Language: English - Date: 2010-03-13 20:10:51 Lisp programming language Functional languages Computer workstations Interlisp Common Lisp Lisp machine Lisp Common Lisp Object System Xerox Alto Computing Software engineering Computer programming
18	COGNITIVE AND INSTRUCTIONAL SCIENCES SERIES CIS.5 (SSL[removed]Revised Papers on interlisp-D CONTRIBUTlONS BY Add to Reading List Source URL: www.softwarepreservation.org Language: English - Date: 2010-03-13 20:10:51 Lisp programming language Functional languages Computer workstations Interlisp Common Lisp Lisp machine Lisp Common Lisp Object System Xerox Alto Computing Software engineering Computer programming
19	STUDENT INFORMATION: Name: Email: Start date: Semester: Add to Reading List Source URL: www.salisbury.edu Language: English - Date: 2014-06-02 16:00:38 Lisp programming language Practicum Internship Education Learning Lisp machine
20	GNU MDK GNU MIX Development Kit Edition 1.2.8, for GNU mdk Version[removed]January, 2014 by Jose Antonio Ortega Ruiz ([removed]) Add to Reading List Source URL: www.gnu.org Language: English - Date: 2014-08-04 20:46:04 Emacs GNU MIX Development Kit Donald Knuth GNU Assembly language D MDK Virtual machine Lisp Software Computing Programming language implementation